Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
نویسندگان
چکیده
منابع مشابه
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its station in finite time and remains in it while waiting for further instructions. We model the dynamics as well as the control law as a hybrid program and formally verify both the reachability and safety properties invo...
متن کاملFormal Verification of an Autonomous Vehicle System
Model checking is a widely used technique for formal verification of distributed systems. It works by effectively examining the complete reachable state space of a model in order to determine whether the system satisfies its requirements or desired properties. The complexity of an autonomous vehicle system, however, renders model checking of the entire system infeasible due to the state explosi...
متن کاملA Distributed Control Architecture for Autonomous Operation of a Hybrid AC/DC Microgrid System
Hybrid AC/DC microgrids facilitate the procedure of DC power connection into the conventional AC power system by developing the distributed generations (DGs) technologies. The conversion processes between AC and DC electrical powers are more convenient by hybrid systems. In this paper, an energy management system (EMS) for a hybrid microgrid network is proposed due to the optimal utilization of...
متن کاملOnline Approximate Optimal Station Keeping of an Autonomous Underwater Vehicle
Online approximation of an optimal station keeping strategy for a fully actuated six degrees-of-freedom autonomous underwater vehicle is considered. The developed controller is an approximation of the solution to a two player zero-sum game where the controller is the minimizing player and an external disturbance is the maximizing player. The solution is approximated using a reinforcement learni...
متن کاملLow-Thrust Out-of-Plane Orbital Station-Keeping Maneuvers for Satellites
This paper considers the problem of out of plane orbital maneuvers for station keeping of satellites. The main idea is to consider that a satellite is in an orbit around the Earth and that it has its orbit is disturbed by one or more forces. Then, it is necessary to perform a small amplitude orbital correction to return the satellite to its original orbit, to keep it performing its mission. A l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.257.9